A Hybrid-systems View of Discrete Computation
نویسنده
چکیده
Computation Mark R. Greenstreet Computer Science Department, University of British Columbia Vancouver, British Columbia, Canada [email protected]
منابع مشابه
Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملAnalog and Hybrid Computation: Dynamical Systems and Programming Languages
The purpose of this article is to serve as a light-weight introduction into the mysteries of analog and hybrid computing models from a dynamical systems and programming languages perspective. Hybrid systems are the dynamical systems that combine both models of computation, i.e., have interacting discrete and continuous dynamics. They have found widespread application as models for embedded comp...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملComputational Issues in Intelligent Control: Discrete-Event and Hybrid Systems
Intelligent control methodologies are being developed to address the control needs of complex systems that exhibit complicated dynamical behaviors. The design, simulation, and verification of intelligent control systems is highly nontrivial and typically involves significant amount of computations. In this paper, we identify and discuss several computational issues that are central in intellige...
متن کاملA Geometric Method for Generating Discrete Trace Transition System of a Polyhedral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کامل